3,197 research outputs found
Computational Methods for Sparse Solution of Linear Inverse Problems
The goal of the sparse approximation problem is to approximate a target signal using a linear combination of a few elementary signals drawn from a fixed collection. This paper surveys the major practical algorithms for sparse approximation. Specific attention is paid to computational issues, to the circumstances in which individual methods tend to perform well, and to the theoretical guarantees available. Many fundamental questions in electrical engineering, statistics, and applied mathematics can be posed as sparse approximation problems, making these algorithms versatile and relevant to a plethora of applications
Calculating an exceptional machine
In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to verify, an abstract machine for this language. The key step is the use of Reynold's defunctionalization, an old program transformation technique that has recently been rejuvenated by the work of Danvy et al
Compiling Exceptions Correctly
Exceptions are an important feature of modern programming languages, but their compilation has traditionally been viewed as an advanced topic. In this article we show that the basic method of compiling exceptions using stack unwinding can be explained and verified both simply and precisely, using elementary functional programming techniques. In particular, we develop a compiler for a small language with exceptions, together with a proof of its correctness
DETERMINING THE EFFECTS OF LAND CHARACTERISTICS ON FARMLAND VALUES IN SOUTH-CENTRAL IDAHO
This study focused on evaluating the effects of different attributes that impact irrigated farmland values in South-central Idaho. Results indicate that study area farmland values are largely determined by agricultural productivity (profiability) related factors. However, estimated "development increment values" for parcels that seemed to be under development pressure in the study area are explainable by nonagricultural variables.Land Economics/Use,
IMLS Sparks Ignite IL Framework Cooperative Project Final Performance Report, Appendix D: Focus Group Report
This appendix to the Final Performance Report for the IMLS Sparks IL Cooperative Project grant is the report on the focus groups. The focus group research summarized herein represents a segment of the overall IMLS grant proposal process, and should be viewed not as a separate endeavor, but rather as an integrated approach to the overall research questions in the grant proposal. In conjunction with the pre-test/post-test survey driven component, the findings from the focus group research help to strengthen the case for the value of librarian-driven pedagogy in positively impacting the academic and intellectual growth of all students, and potentially at-risk students in particular, at the participating colleges
Competitive swimmers modify racing start depth upon request
To expand upon recent findings showing that competitive swimmers complete significantly shallower racing starts in shallower pools, 12 more experienced and 13 less experienced swimmers were filmed underwater during completion of competitive starts. Two starts (1 routine and 1 “requested shallow”) were executed from a 0.76 m block height into water 3.66 m deep. Dependent measures were
maximum head depth, head speed at maximum head depth, and distance from the starting wall at maximum head depth. Statistical analyses yielded significant main effects (p < 0.05) for both start type and swimmer experience. Starts executed by the more experienced swimmers were deeper and faster than those executed by the less experienced swimmers. When asked to dive shallowly, maximum head depth
decreased (0.19 m) and head speed increased (0.33 ms-1) regardless of experience. The ability of all swimmers to modify start depth implies that spinal cord injuries
during competitive swimming starts are not necessarily due to an inherent inability to control the depth of the start
Block height influences the head depth of competitive racing starts
The purpose of this study was to determine whether or not starting block height has an effect on the head depth and head speed of competitive racing starts. Eleven experienced, collegiate swimmers executed competitive racing starts from three different starting heights: 0.21 m (pool deck), 0.46 m (intermediate block), and 0.76 m (standard block). One-way repeated measures ANOVA indicated that starting height had a significant effect on the maximum depth of the center of the head, head speed at maximum head depth, and distance from starting wall at maximum head depth. Racing starts from the standard block and pool deck were significantly deeper, faster, and farther at maximum head depth than starts from the intermediate block. There were no differences between depth, speed, or distance between the standard block and pool deck. We conclude that there is not a positive linear
relationship between starting depth and starting height, which means that starts do not necessarily get deeper as the starting height increases
- …